widget-factory: Fix smooth autoscrolling of scales
authorMatthias Clasen <mclasen@redhat.com>
Wed, 24 Aug 2016 16:53:28 +0000 (12:53 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Wed, 24 Aug 2016 16:53:28 +0000 (12:53 -0400)
commitf7c87fb3b78863d258092ea4cf57dd6c4480d02d
treef799033739193bfe49931f99fc6bceeff8835204
parentceb18a989e6ed9238ea1afc449aeaecbf3a5dfbb
widget-factory: Fix smooth autoscrolling of scales

There is annoying interference between formatting the value
(for which we set the number of digits to show) and the small
frame-to-frame value changes that we do for autoscrolling.

To work around this, turn off the digits-based rounding entirely
and format the value ourselves with ::format-value.
demos/widget-factory/widget-factory.c
demos/widget-factory/widget-factory.ui